Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
831	Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization ∗ Marcelo Arenas Departamento de Ciencia de la Computaci´on Pontificia Universidad Cat´olica de Chile Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 14:57:55 Logic Theoretical computer science Nested word Muller automaton Model theory Tree Finite-state machine Structure Alphabet Automata theory Formal languages Mathematics
832	Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-04-02 11:57:56 Metalogic Model theory Structure Universal algebra FO Probabilistically checkable proof String Data integration Conjunctive query Mathematics Formal languages Theoretical computer science
833	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
834	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
835	Regular Path Queries on Graphs with Data ∗ Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-04 06:11:44 Mathematics Applied mathematics Regular expression Regular language FO Star height Formal languages Automata theory Theoretical computer science
836	The Uncertainty of Identity Toolset: Analysing Digital Traces for User Profiling Muhammad Adnan Antonio Lima Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-03-30 09:11:09 Combinatorics Dynamic programming Formal languages Family name Genealogy Suffix tree Longest common substring problem Suffix array Substring Computing Surnames Technology
837	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
838	Portal© for Windows MIP v9.0 (Messaging Interface Protocol) Use of this document in any way deems acceptance of the Terms of Use License. This policy can be located at the bottom of this document. If you do not agree to Add to Reading List Source URL: www.gameaxle.com Language: English - Date: 2008-03-15 18:53:22 Information Pattern matching Formal languages Metadata Delimiter Literal String Text file Filename extension Computing Computer file formats Data
839	Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper Add to Reading List Source URL: www.kneuper.de Language: English - Date: 2012-02-09 04:37:54 Theoretical computer science Science Formal languages Correctness Compiler construction Automated proof checking Formal proof Compiler Software development process Formal methods Mathematics Logic
840	Microsoft Word - SM_CV_Web.DOC Add to Reading List Source URL: profiles.arts.monash.edu.au Language: English - Date: 2013-05-20 06:46:03 Austronesian languages Academia Language South Efate language Robert Blust Austronesian Formal Linguistics Association Linguistics Keith Allan

UPDATE